- непополнимость
- noncompletability
Русско-английский новый политехнический словарь. 2005.
непополнимость
Look at other dictionaries:
КАНТОР — (Cantor), Георг (3 марта 1845 – 6 янв. 1918) – математик и мыслитель, создатель множеств теории, имеющей своим осн. объектом бесконечные множества. Род. в Петербурге. С 1872 – проф. ун та в Галле. Умер в Галле в психиатрич. клинике. К созданию… … Философская энциклопедия
ПОЛНОТА ДЕДУКТИВНАЯ — свойство формальной системы (исчисления), характеризующее достаточность его дедуктивных средств с т. зр. нек рых фиксированных критериев (содержательных или формальных). В зависимости от характера выбранного критерия приходят к той или иной… … Философская энциклопедия
АКСИОМАТИЧЕСКИЙ МЕТОД — способ построения научной теории, при к ром в основу теории кладутся нек рые исходные положения, наз. аксиомами теории, а все остальные предложения теории получаются как логич. следствия аксиом. В математике А. м. зародился в работах… … Математическая энциклопедия
